These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Lee masThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lee masThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lee mas